Nuprl Definition : R-restrict
11,40
postcript
pdf
R
|
names
== Rtransform(
A
.if R-names(
A
) and
names
overlap then
A
else Rnone() fi;
R
)
latex
Definitions
Rtransform(
f
;
A
)
,
x
.
A
(
x
)
,
if
nms1
and
nms2
overlap then
x
else
y
fi
,
R-names(
A
)
,
Rnone()
FDL editor aliases
R-restrict
origin
A.if R-names(A) and names overlap then A else Rnone() fi;R) A.if R-names(A) and names overlap then A else Rnone() fi;R) x.A(x)